System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
31	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia {abonnair,samth}@indiana.edu, Rowan.Davies@cba. Add to Reading List Source URL: frenchy64.github.io Language: English - Date: 2016-08-15 14:26:54 Software engineering Computing Computer programming Functional languages Concurrent programming languages Programming languages Procedural programming languages Cross-platform software Clojure Multiple dispatch Type system Dynamic programming language
32	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Software engineering Computer programming Computing Functional languages Control flow Software design patterns OCaml Monad Exception handling Type system Caml ML
33	Control and embedded Systems Tutorial Table Of Contents Previous: Programming Part 1 Next: Boolean Logic Add to Reading List Source URL: learn-c.com Language: English - Date: 2016-02-02 18:33:23 Units of information Computing Binary arithmetic Information Linguistics Nibble Hexadecimal numeral system Computer arithmetic Hexadecimal Byte Binary-coded decimal
34	Telefonica Research System for the Spoken Web Search task at Mediaeval 2012 Xavier Anguera Telefonica Research Edificio Telefonica - DiagonalBarcelona, Spain Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-09-25 13:51:20 Computational linguistics Dynamic programming Dynamic time warping Time series analysis Natural language processing Information science Information retrieval Artificial intelligence Computing Speech recognition
35	Defects of the POSIX Sporadic Server and How to Correct Them Mark Stanovich Theodore P. Baker An-I Wang Florida State University, USA Michael Gonz´alez Harbour Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2010-03-29 17:42:48 Scheduling algorithms Computing Computer programming POSIX Scheduling Operating system Underway replenishment Thread Engineering
36	SWORS: A System for the Efficient Retrieval of Relevant Spatial Web Objects Xin Cao§ Gao Cong§ Christian S. Jensen† Jun Jie Ng§ Beng Chin Ooi‡ Nhan-Tue Phan§ Dingming Wu] § Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-06-20 10:38:21 Software engineering Internet search engines Computing Computer programming Cross-platform software Alphabet Inc. Google Search Spatial database Information retrieval R-tree Database JavaScript
37	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system
38	On the Robustness of Qualitative Distance- and Direction-Reasoning* Jung-Hong Hong Department of Surveying Engineering National Cheng-Kung University Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:26:16 Cognition Reasoning Cognitive science Logic Knowledge representation Constraint programming Educational psychology Spatialtemporal reasoning Qualitative reasoning Spatial relation Reasoning system Andrew U. Frank
39	Geo-registration for Structure-from-Motion Goal : Implement a geo-registration module Add to Reading List Source URL: www.cvg.ethz.ch Language: English - Date: 2016-02-23 08:57:00 Software Computing Computer programming Photogrammetry Cross-platform software KDE Qt Bundle adjustment Geographic information system Modularity
40	Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-09-05 00:16:54 Software engineering Computing Computer programming Type theory Data types Object-oriented programming Concurrent programming languages Type system Scala Intent Type safety Java